-
1 functional calculus
функциональное исчисление; исчисление предикатов -
2 functional calculus
The English-Russian dictionary general scientific > functional calculus
-
3 functional calculus
x. =PREDICATE CALCULUS -
4 functional calculus
Англо-русский словарь технических терминов > functional calculus
-
5 functional calculus
1) функциональное исчисление
2) функциональное исчисление или исчисление предикатов -
6 functional calculus
-
7 functional calculus
-
8 functional calculus
-
9 functional calculus
English-Russian electronics dictionary > functional calculus
-
10 functional calculus
The New English-Russian Dictionary of Radio-electronics > functional calculus
-
11 functional calculus
2) лог. исчисление предикатовEnglish-Russian dictionary of computer science and programming > functional calculus
-
12 functional calculus
rachunek funkcyjnyrachunek kwantyfikatorówrachunek predykatówEnglish-Polish dictionary for engineers > functional calculus
-
13 functional calculus
rachunek funkcyjnyrachunek kwantyfikatorówrachunek predykatówEnglish-Polish dictionary of Electronics and Computer Science > functional calculus
-
14 functional calculus
English-Russian information technology > functional calculus
-
15 functional calculus
சார்புநுண்கணிதம் -
16 functional calculus
мат. функциональное исчисление, исчисление предикатовThe English-Russian dictionary of geoinformatics > functional calculus
-
17 binary functional calculus
Универсальный англо-русский словарь > binary functional calculus
-
18 pure functional calculus
Математика: чистое функциональное исчислениеУниверсальный англо-русский словарь > pure functional calculus
-
19 binary functional calculus
логикабинарное функциональное исчисление, бинарное исчисление предикатовEnglish-Russian scientific dictionary > binary functional calculus
-
20 pure functional calculus
English-Russian scientific dictionary > pure functional calculus
См. также в других словарях:
Functional calculus — In mathematics, a functional calculus is a theory allowing one to apply mathematical functions to mathematical operators. The term was also used previously to refer to the calculus of variations. If f is a function, say a numerical function of a… … Wikipedia
functional calculus — noun a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) • Syn: ↑predicate calculus • Hypernyms: ↑symbolic logic, ↑mathematical logic, ↑formal… … Useful english dictionary
functional calculus of the first order — noun see lower functional calculus … Useful english dictionary
functional calculus of the second order — noun see higher functional calculus … Useful english dictionary
functional calculus — the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers. Also called predicate calculus, predicate logic.… … Universalium
functional calculus — func′tional cal′culus n. math. pho the branch of symbolic logic that includes the sentential calculus and that deals with sentential functions and quantifiers and with logical relations between sentences containing quantifiers Also called… … From formal English to slang
functional calculus — noun Date: 1933 predicate calculus … New Collegiate Dictionary
Holomorphic functional calculus — In mathematics, holomorphic functional calculus is functional calculus with holomorphic functions. That is to say, given a holomorphic function fnof; of a complex argument z and an operator T , the aim is to construct an operator:f(T),which in a… … Wikipedia
Borel functional calculus — In functional analysis, a branch of mathematics, the Borel functional calculus is a functional calculus (that is, an assignment of operators from commutative algebras to functions defined on their spectrum), which has particularly broad… … Wikipedia
Continuous functional calculus — In mathematics, the continuous functional calculus of operator theory and C* algebra theory allows applications of continuous functions to normal elements of a C* algebra. More precisely, Theorem. Let x be a normal element of a C* algebra A with… … Wikipedia
higher functional calculus — noun : functional calculus in which quantification is applied not only to individual variables but also to functional and propositional variables called also functional calculus of the second order … Useful english dictionary